Capturing Concurrent Interactions of Mission Computer Tasks
نویسندگان
چکیده
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct result at the right time is the fundamental goal of such systems. Formally specifying the system functions and the timing requirements is the crucial step towards achieving such a goal. Aviation systems often need to be modified or upgraded on a regular basis, i.e. functionality and timing constraints may be altered. Therefore, the formal specification of such systems needs to be easily reused, maintained and modified. This paper demonstrates how an aircraft mission computer task rate sequences with their interactions can be formalised in TCOZ (an integrated notation of Timed CSP and Object-Z).
منابع مشابه
Capturing Periodic Concurrent Interactions of Mission Computer Tasks
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct result at the right time is the fundamental goal of such systems. Formally specifying the system functions and the timing requirements is the crucial step towards achieving such a goal. Aviation systems often need to be modijied or upgraded on a regular basis, ...
متن کاملA Joint Semantic Vector Representation Model for Text Clustering and Classification
Text clustering and classification are two main tasks of text mining. Feature selection plays the key role in the quality of the clustering and classification results. Although word-based features such as term frequency-inverse document frequency (TF-IDF) vectors have been widely used in different applications, their shortcoming in capturing semantic concepts of text motivated researches to use...
متن کاملCapturing Outlines of Planar Generic Images by Simultaneous Curve Fitting and Sub-division
In this paper, a new technique has been designed to capture the outline of 2D shapes using cubic B´ezier curves. The proposed technique avoids the traditional method of optimizing the global squared fitting error and emphasizes the local control of data points. A maximum error has been determined to preserve the absolute fitting error less than a criterion and it administers the process of curv...
متن کاملMission Control of the Marius Autonomous Underwater Vehicle: System Design, Implementation and Sea Trials
This paper describes the design and implementation of a mission control system for the MARl US autonomous underwater vehicle (A U V). The framework adopted for system design builds on the key concept of vehicle primitive, which is a parametrized specification of an elementary operation performed by the vehicle. Vehicle primitives are obtained by coordinating the execution of a number of concurr...
متن کاملReverse Engineering of Computer-Based Navy Systems
The �nancial pressure to meet the need for change in computer-based systems through evolution rather than through revolution has spawned the discipline of reengineering. One driving factor of reengineering is that it is increasingly becoming the case that enhanced requirements placed on computer-based systems are overstressing the processing resources of the systems. Thus, the distribution of p...
متن کامل